доказательство завершения

доказательство завершения
proof of termination

завершение выполнения команды — instruction termination

завершение цикла; выход из цикла — loop termination

завершение работы программы — program termination

добровольное завершение — voluntary termination

нормальное завершение — normal termination


Русско-английский большой базовый словарь. 2014.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Теория волн Эллиотта — (Elliott Wave Theory) Теория волн Эллиотта это математическая теория об изменении поведения общества или финансовых рынков Все о волновой теории Эллиотта: видео, книги, статьи о теории волн, информация о советниках и индикаторах волн Эллиотта… …   Энциклопедия инвестора

  • ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… …   Православная энциклопедия

  • Алгоритм проталкивания предпотока — решает задачу нахождения максимального потока в транспортной сети. Алгоритм не является частным случаем алгоритма Форда Фалкерсона. Реализованный без специальных усовершенствований, алгоритм выполняется за время . Некоторые усовершенствования ещё …   Википедия

  • Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил …   Википедия

  • Клейн, Лев Самуилович — В Википедии есть статьи о других людях с такой фамилией, см. Клейн. Лев Самуилович Клейн Дата рождения …   Википедия

  • оценка — 3.9 оценка (evaluation): Систематическое определение степени соответствия объекта установленным критериям. Источник: ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств …   Словарь-справочник терминов нормативно-технической документации

  • Кошон, Пьер — Пьер Кошон фр. Pierre Cauchon Бартелеми Ре …   Википедия

  • КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия

  • Женевская инициатива — «Женевская инициатива» (известна также, как «Geneva Accord» англ. и «יוזמת ז נבה» ивр.Yozmat Jeneva)  проект соглашения о постоянном урегулировании между Государством Израиль и Организацией освобождения Палестины подготовленный группой… …   Википедия

  • МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… …   Энциклопедия Кольера

  • Пушкин, Александр Сергеевич — — родился 26 мая 1799 г. в Москве, на Немецкой улице в доме Скворцова; умер 29 января 1837 г. в Петербурге. Со стороны отца Пушкин принадлежал к старинному дворянскому роду, происходившему, по сказанию родословных, от выходца "из… …   Большая биографическая энциклопедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”